منابع مشابه
Relation-Algebraic Semantics
The rst half is a tutorial on orderings, lattices, Boolean algebras, operators on Boolean algebras, Tarski's xed point theorem, and relation algebras. In the second half, elements of a complete relation algebra are used as \meanings" for program statements. The use of relation algebras for this purpose was pioneered by de Bakker and de Roever in 10], 11], and 12]. For a class of programming lan...
متن کاملA Relation Algebraic Semantics for a Lazy Functional Logic Language
We propose a special relation algebraic model as semantics for lazy functional logic languages. The resulting semantics provides several interesting advantages over former approaches for this class of languages. For once, the equational reasoning supported by an algebraic approach implies a great increase in the economy and readability of proofs. Second, the richly developed field of relation a...
متن کاملAlgebraic Logic : Referential Algebraic Semantics
Wójcicki has provided a characterization of selfextensional logics as those that can be endowed with a complete local referential semantics. His result was extended by Jansana and Palmigiano, who developed a duality between the category of reduced congruential atlases and that of reduced referential algebras over a fixed similarity type. This duality restricts to one between reduced atlas model...
متن کاملAlgebraic Semantics and Mereology
Fall 2014 (Lecture notes version: Aug 4 th , 2014) 2 Preface Expressions like John and Mary or the water in my cup intuitively involve reference to collections of individuals or substances. The parthood relation between these collections and their components is not modeled in standard formal semantics of natural language (Montague 1974; Heim and Kratzer 1998), but it takes central stage in what...
متن کاملSemantics for Algebraic Operations
Given a complete and cocomplete symmetric monoidal closed category V and a symmetric monoidal V -category C with cotensors and a strong V -monad T on C, we investigate axioms under which an ObCindexed family of operations of the form αx : (Tx) v −→ (Tx)w provides semantics for algebraic operations, which may be used to extend the usual monadic semantics of the computational λ-calculus uniformly...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1996
ISSN: 0304-3975
DOI: 10.1016/0304-3975(95)00082-8